Free logic - PDFSEARCH.IO - Document Search Engine

Free logic
Results: 431

#	Item
311	Actions Speak Louder than Words: Proving Bisimilarity for Context-Free Processes Hans Huttel { [removed] Department of Computer Science Aalborg University Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:01:13 Bisimulation Logic in computer science Method of analytic tableaux Equivalence relation Differential equation Process calculus Theoretical computer science Applied mathematics Mathematics
312	An Introduction to Decidability of Higher-Order Matching Colin Stirling [removed] LFCS School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-07-16 11:18:48 Mathematical logic Type theory Logic in computer science Theory of computation Simply typed lambda calculus Free variables and bound variables Combinatory logic Type system Normalisation by evaluation Theoretical computer science Mathematics Lambda calculus
313	Discourse Representation in Context Jan van Eijck and Hans Kamp January 7, 2010 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:04:45 Philosophy of language Discourse representation theory Donkey sentence Anaphora Free variables and bound variables Binding Antecedent First-order logic Interpretation Linguistics Semantics Syntax
314	Bisimulation Equivalence is Decidable for all Context-Free Processes Sren Christensen Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:05:50 Applied mathematics Bisimulation Logic in computer science Witness Differential equation Logic Theoretical computer science Mathematics Mathematical logic
315	Logical Methods in Computer Science Vol. 5 (3:[removed], pp. 1–52 www.lmcs-online.org Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-22 08:41:55 Mathematical logic Computability theory Simply typed lambda calculus Combinatory logic Unification Free variables and bound variables Variable Mathematics Theoretical computer science Lambda calculus
316	Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5 Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2007-05-11 02:54:57 Non-classical logic Substructural logic Inference Philosophical logic Structural proof theory Sequent calculus Deep inference Sequent Kripke semantics Logic Mathematical logic Proof theory
317	Abductive language interpretation as bottom-up deduction Henning Christiansen Roskilde University, Computer Science Dept. P.O.Box 260, DK-4000 Roskilde, Denmark E-mail: [removed] Add to Reading List Source URL: www.cs.haifa.ac.il Language: English - Date: 2002-06-04 01:53:54 Context-free grammar First-order logic Logic programming Constraint Handling Rules Constraint logic programming Syntax Coordination Formal grammar Ambiguous grammar Logic Formal languages Linguistics
318	Chapter 1. Why? The Biological Problem: Part One (Representative Models and the Mind) Add to Reading List Source URL: www.foothill.net Language: English - Date: 2007-03-22 15:32:08 Philosophy of science Metaphysics Calculus Function Lambda calculus Causality Free will Gerald Edelman Object Philosophy Mathematics Mathematical logic
319	A Proof Theory for DL-Lite? Diego Calvanese, Evgeny Kharlamov, Werner Nutt Faculty of Computer Science, Free University of Bozen-Bolzano, Italy {calvanese,kharlamov,nutt}@inf.unibz.it Abstract. In this work we propose a Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Propositional calculus Deduction Rules of inference Formal methods Lambda calculus Valuation Symbol Entailment Resolution Logic Mathematics Mathematical logic
320	Prospects for and issues with mapping the Object-Role Modeling language into DLRifd C. Maria Keet Faculty of Computer Science, Free University of Bozen-Bolzano, Italy [removed] Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Software engineering Object-Role Modeling NORMA Description logic Data model ECO Unified Modeling Language Entity-relationship model Diagram Data modeling Science Data management

UPDATE